Trying to Capture, Cautiously, the O'Malley Style

Big Tobacco is trying on the "Russian style".

Drawing Style Capture for Cartoon Rendering

This paper proposes a method for capturing the drawing style of cartoon from the original comic book. Given a concept drawing image of the specific comic book, our approach recovers not only the color scheme, but also the color ratio. The main technical contribution of this paper is a shading model capture and a stylized cartoon rendering. For the shading model capture, we collect RGB statistic...

Trying to Understand PEG

Parsing Expression Grammar (PEG) encodes a recursivedescent parser with limited backtracking. Its properties are useful in many applications. In its appearance, PEG is almost identical to a grammar in the Extended Backus-Naur Form (EBNF), but may define a different language. Recent research formulated some conditions under which PEG is equivalent to its interpretation as EBNF. However, PEG has ...

Cut Might Cautiously

This note is on cautious cut elimination for one of Veltman's might logics. Syntactically, the logic is presented as an extension of a sequent system for classical propositional logic (hence: cpl). I show that this extension preserves the completeness and decidability of cpl. The proof has cautious cut elimination as a corollary. I also give a rather general syntactic proof of cautious cut elim...

Trying to Understand RoboCup

“Football is a very simple game. For 90 minutes, 22 men go running after the ball, and at the end, the Germans win.” Although the game is simple, analyzing it can be hard. Just what makes one team better than another? How much difference do tactics make? Is there really such a thing as a “lucky win”? Here, we try to answer these questions in the context of RoboCup. We take the giant set of log ...